
int NFHE_OpenDevice();

int NFHE_CloseDevice();



